λ(x : Text) → "" ++ x
